ALAM--Atlas Lisp Algebraic Manipulator

The Piranha algebraic manipulator

In this paper we present a specialised algebraic manipulation package devoted to Celestial Mechanics. The system, called Piranha, is built on top of a generic and extensible framework, which allows to treat e ciently and in a uni ed way the algebraic structures most commonly encountered in Celestial Mechanics (such as multivariate polynomials and Poisson series). In this contribution we explain...

Sarfaraz Alam

Environmental crisis in the rural areas of developing countries is increasingly becoming an important cause of cross-border migration of population and South Asia is no exception to this phenomenon. Such movement of population in the Indo-Bangladesh context is generating a range of destabilising socio-political, economic, ethnic and communal tensions in India. It has embittered Indo-Bangladesh ...

Khepera-LISP Interface for Allegro Common LISP

The Algebraic Manipulator of Alnuset: a Tool to Prove

This report is devoted to analyzing the influence of an algebraic system, the Algebraic Manipulator of ALNUSET on students’ construction of proof in proving equivalence among expressions. Results of an experiment, carried out with students at the second year of Upper Secondary school, are presented to show in which way this manipulator can be used in the educational practice to enhance the teac...

Lisp-in-Lisp: High Performance and Portability

Until recently every Lisp implementation has had either a relatively large assembly language core or extensive microcode support. We have been working on a Common Lisp [Steele 1982] for the S-1 Mark IIA super-computer being developed at LLNL, producing an implementation that has high performance, exploits the complex architecture of the S-1, and which is almost entirely written in Lisp [Brooks ...